<?php

function print_option_name($id, $echo = true){
    $str_name = IPS_ADMIN_OPTIONS_NAME. "[" + $id + "]";
      if ( $echo )
       echo $str_name;
    else
       return $str_name;
}

function print_option_id( $id, $echo = true ) {
    $str_id = str_replace( '_', '-', IPS_ADMIN_OPTIONS_NAME ) . '-' . $id;	
    if ( $echo )
       echo $str_id;
    else
       return $str_id;
} 
?>
